
void hal_init();
